Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
481	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language
482	Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:36 Software Theoretical computer science Formal methods Automated theorem proving Logic in computer science Proof assistants Formal verification Automated reasoning KeY Prover9 Frama-C First-order logic
483	Multiword expressions 1 Introduction Even the best existing formal grammars of natural languages generate a large proportion of utterances that sound stilted, ugly or simply wrong to native speakers. Many of the problems Add to Reading List Source URL: lingo.stanford.edu Language: English Linguistics Syntax Cognitive science Grammar Semantics Generative linguistics Semiotics Multiword expression Minimal recursion semantics Head-driven phrase structure grammar Ivan Sag Lexical item
484	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic
485	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2015-07-27 06:09:15 Automated theorem proving Theoretical computer science Logic Formal methods Mathematics Logic in computer science Proof theory Mathematical proof Proof assistant Isabelle Theorem Proof
486	Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-08-10 11:35:47 Theoretical computer science Mathematical logic Logic in computer science Type theory Proof assistants Mathematics Automated theorem proving Isabelle Logical framework Twelf Formal methods Automated reasoning
487	Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤ Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:57 Operations research Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Simplex algorithm Linear programming Simplex First-order logic
488	One-Dimensional Staged Self-Assembly Erik D. Demaine1 , Sarah Eisenstat1 , Mashhood Ishaque2 , and Andrew Winslow2 1 MIT Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2013-11-14 23:09:10 Formal languages Mathematics Combinatorics Computing Context-free grammar Formal grammar Terminal and nonterminal symbols Binary tree String Time complexity
489	Extracting Frame Conditions from Operation Contracts Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-17 08:36:26 Theoretical computer science Formal methods Software engineering Logic in computer science Postcondition Object Constraint Language Causality Statistics Statistical hypothesis testing Invariant
490	One-Dimensional Staged Self-Assembly Erik D. Demaine1 , Sarah Eisenstat1 , Mashhood Ishaque2 , and Andrew Winslow2 1 MIT Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2013-11-14 23:09:11 Formal languages Context-free grammar Formal grammar Adhesive Terminal and nonterminal symbols Production String

UPDATE